* texinfo.tex: Merge from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 3 Jul 2013 21:07:48 +0000 (14:07 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 3 Jul 2013 21:07:48 +0000 (14:07 -0700)
commit3632ce24d020eb2e7400645273dc58034db01248
treec352affd1d4460a910aa43259dac876c58358096
parent305e4a6734295fe197a99a7ec2177af653599487
* texinfo.tex: Merge from gnulib.
doc/misc/ChangeLog
doc/misc/texinfo.tex